type T2() =
    member this.M x{caret} = fst x
